refinement type
Liquid Haskell
Dependent types
/suto3/google.iconrefinement type
/suto3/Google画像検索.iconrefinement type
/suto3/Google定義検索.icon refinement type
/suto3/wikipedia.iconrefinement type
/suto3/weblio.icon refinement type
/suto3/kotobank.icon refinement type
/suto3/jisho.icon refinement type